Add new api to gtk.symbols

diff --git a/gtk/gtk.symbols b/gtk/gtk.symbols
index ab8da65760ec458cb594f2c4a6568a1226adf17e..04394206afabdce5c46b14d4d1828660a32a724f 100644 (file)
--- a/gtk/gtk.symbols
+++ b/gtk/gtk.symbols
@@ -4367,6 +4367,18 @@ gtk_widget_get_mapped
 gtk_widget_get_support_multidevice
 gtk_widget_set_support_multidevice
 gtk_widget_device_is_shadowed
+gtk_widget_get_h_align
+gtk_widget_set_h_align
+gtk_widget_get_v_align
+gtk_widget_set_v_align
+gtk_widget_get_margin_left
+gtk_widget_set_margin_left
+gtk_widget_get_margin_right
+gtk_widget_set_margin_right
+gtk_widget_get_margin_top
+gtk_widget_set_margin_top
+gtk_widget_get_margin_bottom
+gtk_widget_set_margin_bottom
 #endif
 #endif